An Upper Power Domain Construction in Terms of Strongly Compact Sets
نویسنده
چکیده
A novel upper power domain construction is deened by means of strongly compact sets. Its power domains contain less elements than the classical ones in terms of compact sets, but still admit all necessary operations, i.e. they contain less junk. The notion of strong compactness allows a proof of stronger properties than compactness would, e.g. an intrinsic universal property of the upper power construction, and its commutation with the lower construction.
منابع مشابه
Categorical Domain Theory: Scott Topology, Powercategories, Coherent Categories
In the present article we continue recent work in the direction of domain theory were certain (accessible) categories are used as generalized domains. We discuss the possibility of using certain presheaf toposes as generalizations of the Scott topology at this level. We show that the toposes associated with Scott complete categories are injective with respect to dense inclusions of toposes. We ...
متن کاملStable Power Domains
In the category of stable dcpo's, free constructions w.r.t. algebraic theories exist. From this, we obtain various stable power domain constructions. After handling their properties in general, we concentrate on the stable Plotkin power construction. For continuous ground domains, it is explicitly described in terms of saturated compact sets. In case of algebraic ground domains, this descriptio...
متن کاملA duality between fuzzy domains and strongly completely distributive $L$-ordered sets
The aim of this paper is to establish a fuzzy version of the dualitybetween domains and completely distributive lattices. All values aretaken in a fixed frame $L$. A definition of (strongly) completelydistributive $L$-ordered sets is introduced. The main result inthis paper is that the category of fuzzy domains is dually equivalentto the category of strongly completely distributive $L$-ordereds...
متن کاملBiologically Inspired Four Elements Compact Antenna Arrays With Enhanced Sensitivity for Direction of Arrival Estimation
A new four elements compact antenna array is presented and discussed to achieve enhanced phase resolution without sacrificing the array output power. This structure inspired by the Ormia Ochracea’s coupled ears. The analogy between this insect acute directional hearing capabilities and the electrically compact antenna array is used to enhance the array sensitivity to direction of arrival estima...
متن کاملZero sets in pointfree topology and strongly $z$-ideals
In this paper a particular case of z-ideals, called strongly z-ideal, is defined by introducing zero sets in pointfree topology. We study strongly z-ideals, their relation with z-ideals and the role of spatiality in this relation. For strongly z-ideals, we analyze prime ideals using the concept of zero sets. Moreover, it is proven that the intersection of all zero sets of a prime ideal of C(L),...
متن کامل